A Kernel Revision Operator for Terminologies
نویسندگان
چکیده
In this paper, we propose a new method for revising terminologies in description logic-based ontologies. Our revision method is a reformulation of the kernel revision operator in belief revision. We first define our revision operator for terminologies in terms of MIPS (minimal incoherence-preserving sub-terminologies), and we show that it satisfies some desirable logical properties. Second, two concrete algorithms are developed to implement the revision operator.
منابع مشابه
A Kernel Revision Operator for Terminologies - Algorithms and Evaluation
Revision of a description logic-based ontology deals with the problem of incorporating newly received information consistently. In this paper, we propose a general operator for revising terminologies in description logic-based ontologies. Our revision operator relies on a reformulation of the kernel contraction operator in belief revision. We first define our revision operator for terminologies...
متن کاملOntology Merging Using Belief Revision and Defeasible Logic Programming
We combine argumentation, belief revision and description logic ontologies for extending the δ-ontologies framework to show how to merge two ontologies in which the union of the strict terminologies could lead to inconsistency. To solve this problem, we revisit a procedure presented by Falappa et al. in which part of the offending terminologies are turned defeasible by using a kernel revision o...
متن کاملModel-based Revision Operators for Terminologies in Description Logics
The problem of revising an ontology consistently is closely related to the problem of belief revision which has been widely discussed in the literature. Some syntax-based belief revision operators have been adapted to revise ontologies in Description Logics (DLs). However, these operators remove the whole axioms to resolve logical contradictions and thus are not fine-grained. In this paper, we ...
متن کاملAn extended multidimensional Hardy-Hilbert-type inequality with a general homogeneous kernel
In this paper, by the use of the weight coefficients, the transfer formula and the technique of real analysis, an extended multidimensional Hardy-Hilbert-type inequality with a general homogeneous kernel and a best possible constant factor is given. Moreover, the equivalent forms, the operator expressions and a few examples are considered.
متن کاملOn a Hardy-Hilbert-Type Inequality with a General Homogeneous Kernel
By the method of weight coefficients and techniques of real analysis, a Hardy-Hilbert-type inequality with a general homogeneous kernel and a best possible constant factor is given. The equivalent forms, the operator expressions with the norm, the reverses and some particular examples are also considered.
متن کامل